Benchmarking Usability and Performance of Multicore Languages Sebastian Nanz1 , Scott West1 , Kaue Soares da Silveira2 , and Bertrand Meyer1 1 ETH Zurich, Switzerland

Source URL: se.inf.ethz.ch

A comparative study of programmer-written and automatically inferred contracts Nadia Polikarpova, Ilinca Ciupa, Bertrand Meyer Chair of Software Engineering, ETH Zurich, Switzerland {firstname.lastname}@inf.ethz.ch

Source URL: se.ethz.ch

• Software engineering
• Computer programming
• Software
• Formal methods
• Logic in computer science
• Object-oriented programming languages
• Object-oriented programming
• Software testing
• Postcondition
• Eiffel
• Assertion
• Class invariant

On the topological complexity of weakly recognizable tree languages Jacques Duparc1 and Filip Murlak2? 1 Universit´e de Lausanne, Switzerland

Source URL: www.mimuw.edu.pl

• Mathematical logic
• Mathematics
• Omega language
• Tree
• Wadge hierarchy
• Determinacy
• Symbol
• Regular language
• Ω-automaton
• Automata theory
• Formal languages
• Theoretical computer science

On the topological complexity of weakly recognizable tree languages Jacques Duparc1 and Filip Murlak2? 1 Universit´e de Lausanne, Switzerland

Source URL: www.mimuw.edu.pl

Daniela Waldburger In 2002 I received a Master’s degree in African Linguistics, General Linguistics and Social Anthropology at the University of Zurich in Switzerland. My thesis focused on cohesion and coherence in Sw

Source URL: afrika.univie.ac.at

• Sociolinguistics
• Swahili language
• Language
• Context
• Linguistics
• Languages of Africa
• Swahili literature

SIMON & SCHUSTER’S PIMSLEUR ®

Source URL: assetlibrary.supadu.com

• German dialects
• Languages of Liechtenstein
• Fusional languages
• Languages of Luxembourg
• Swiss German
• Swiss people
• Switzerland
• Standard German
• German language
• Languages of Europe
• Europe
• Languages of Switzerland

Viktor Kuncak Swiss Federal Institute of Technology (EPFL) School of Computer & Communications Sciences, INR 318 Station 14 CH-1015 Lausanne, Switzerland web page: http://lara.epfl.ch/˜kuncak

Source URL: lara.epfl.ch

• Computing
• Association for Computing Machinery
• Logic in computer science
• Principles of Programming Languages
• Programming Language Design and Implementation
• SIGPLAN
• Formal verification
• Model checking
• Computer Aided Verification
• Computer science
• Theoretical computer science
• Formal methods

Building a Calculus of Data Structures Viktor Kuncak1⋆ , Ruzica Piskac1 , Philippe Suter1 , and Thomas Wies2 1 EPFL School of Computer and Communication Sciences, Lausanne, Switzerland

Source URL: lara.epfl.ch

• Model theory
• Metalogic
• Proof theory
• Logic in computer science
• Formal languages
• First-order logic
• Multiset
• Presburger arithmetic
• Quantifier elimination
• Logic
• Mathematics
• Mathematical logic

ICE FJORD | 70 X 200 CM | C-PRINT | EDITION OF 7 | 2005 GALERIE KASHYA HILDEBRAND Talstrasse 58, 8001 Zurich, Switzerland Tel: +

Source URL: www.tiinaitkonen.com

• Greenland
• Agglutinative languages
• Inuit language
• Languages of Greenland
• Qaanaaq
• Iceberg
• Inuktun language
• Polar bear
• Inuit
• Political geography
• Earth

Combining Theories with Shared Set Operations Thomas Wies, Ruzica Piskac, and Viktor Kuncak EPFL School of Computer and Communication Sciences, Switzerland Abstract. Motivated by applications in software verification, we

Source URL: lara.epfl.ch

• Model theory
• Formal languages
• Metalogic
• Semantics
• Predicate logic
• Interpretation
• First-order logic
• Well-formed formula
• Second-order logic
• Logic
• Mathematical logic
• Mathematics